$\forall$$M$:MsgA. $M$.X $\in$ Type